Dimension in the Realm of Transseries
نویسنده
چکیده
Let T be the differential field of transseries. We establish some basic properties of the dimension of a definable subset of Tn, also in relation to its codimension in the ambient space Tn. The case of dimension 0 is of special interest, and can be characterized both in topological terms (discreteness) and in terms of the Herwig-Hrushovski-Macpherson notion of co-analyzability.
منابع مشابه
Fractional Iteration of Series and Transseries
We investigate compositional iteration of fractional order for transseries. For any large positive transseries T of exponentiality 0, there is a family T [s] indexed by real numbers s corresponding to iteration of order s. It is based on Abel’s Equation. We also investigate the question of whether there is a family T [s] all sharing a single support set. A subset of the transseries of exponenti...
متن کاملIntegrability of Hamiltonian systems and transseries expansions
This paper studies analytic Liouville-non-integrable and C∞-Liouvilleintegrable Hamiltonian systems with two degrees of freedom. We will show that considerably general Hamiltonians than the one studied in [2] have the property. We also show that a certain monodromy property of an ordinary differential equation obtained as a subsystem of a given Hamiltonian and the transseries expansion of a fir...
متن کاملTransseries: Composition, Recursion, and Convergence
Additional remarks and questions for transseries. In particular: properties of composition for transseries; the recursive nature of the construction of R x ; modes of convergence for transseries. There are, at this stage, questions and missing proofs in the development.
متن کاملA differential intermediate value theorem
In this survey paper, we outline the proof of a recent differential intermediate value theorem for transseries. Transseries are a generalization of power series with real coefficients, in which one allows the recursive appearance of exponentials and logarithms. Denoting by T the field of transseries, the intermediate value theorem states that for any differential polynomials P with coefficients...
متن کاملTransseries for Beginners
From the simplest point of view, transseries concern manipulations on formal series, or a new kind of expansion for real-valued functions. But transseries constitute much more than that—they have a very rich (algebraic, combinatorial, analytic) structure. The set of transseries— also known as the transline—is a large ordered field, extending the real number field, and endowed with additional op...
متن کامل